$\forall$$P$, $v$:Top. ($\forall$$x$,$y$$\in$[$v$].$P$($x$,$y$)) $\Leftrightarrow$ True